]`↓⊂πx
 xαβ ∪`H85Y&¬X ∧∃U@⊂≥W@:β⊂iU_)T)⊂∞p(⊗@_(⊗(	(⊃h⊗⊂(@∀h∀@⊗(
@∀h¬⊗(
@∀hl→PP
,∩@
,⊃↔,∩@↔,⊃Lπ↓
G	,	,⊂@	_∞	,∞@	≤∩∪,π↓λl⊂@∀Lλ@⊗λ@	∀f_h∀@→h∀@⊗4IL⊂β,
⊃8	,@_-'@	8s@_8b∃,ε@α,
Q⊂ε9wε9b@	8∃@⊗1B@α¬@∧↓Q(α∧	9w	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@α∧@α
D@β⊃E@⊗λ'@λ⊃@λ,∀⊃@⊃l	@∂(∀_⊃(∞h∀@∪h	∪(
h∀@h⊗R ⊃h∀@⊂(@↓h⊗Tpπh@∩h∀RP(∀ ↔h@⊂(@∃h	∪(∞(⊃p∃iI⊂h
h∂∀(⊗Rp∂h@∂(_∩ →(_∩ ∂(⊗RP∂(→∩x
(∀@αyx@	,↔@αyl	,
α,
@α,
Qλλ↓∀	lβ∪Pπ⊃@	l⊃πλ@βl→P⊂	MG∀h	lβ@l∩@↓-Qλl⊃QHl⊃⊗Lβ@	Lβ@		SP	MD∪P	MG∧L∃¬L⊂¬$Tλ	Lπ∀⊂λL∃⊃H∩∃⊃PλL∪λMU⊃xεL∪	∂Q0~∂@	,⊂@	,⊂@	,λ↓∞≤P↓  ↓#G ↓1cP↓49↓5*`↓CG ↓U*`↓U*p↓g∞ ↓u*`↓xqpα∪G α≤9α'∞0α.≤Pα.≤`α@⊂α@ αQc`αcG αjU@αu*pαxrα|9⊂βπ∞0β∞≤Pβ⊃c`β_rβ≤9⊂β≡≤`β  β!c`β#G0β*U@β*UPβ.≤`β>'PβG∞@βJU@βN≤Pβ` βn≤Pβqc`βqcp∧βG0∧
UP∧∃*p∧  ∧N≤`∧g∞@¬ 1c@↓\α
U0α≤8pα.≤@αM*`αO␈pαQc@αVnα↑≤@αcG⊂αcG αp⊂βπ∞ ␈␈?G⊃cP#G⊂>≤@G∞G∞ jU ¬K0∪LP∀(`⊗mP⊗m`⊗}⊂→C⊂≤(`≥|⊂  P!"P(⊂@(Q0+&`-
 .= 4_@4" 5*`5K07/9"`<λ =
@=| >↓P>#⊂@⊂@@ `@A @oAC B∧0DYPE
0E*pI∩@J5N]PQ"`R$`U
0U
@WO@[⊗P]| b∧0lz⊂o←ptλ0↓∩∧0≠⊂@∪⊂λ~ `→@X≠h	p⊂∂p⊂λ0⊂
0⊂@↔0⊂~ p≠x	p⊂∂p⊂λ0⊂
0⊂@↔0⊂@_¬`	`α⊂∂p_@λ0_@ πX@ π`@_β`@_βp_0 _0(≠p(→0(@_p(⊂00_0(≠p(→0(P0@⊂0⊂08≠p0→00_00≥00≤P0∪p(⊂p(⊃p(@∀0(≡00≥00≤P0≠p0→00_00@⊂00⊂0(∃p(⊗0(∃P(@⊗⊂(→0@≠p@_p@→⊂@≤0@≡⊂(≥P(≡0(@≥p(≥⊂(∃⊂0∪p(∃0(⊂p(∃p8⊗00⊃p(∃P8@∀0(@~P(@∩0@␈}qc0␈}g∞↓∩∧0G∞ ␈␈\8p␈␈n≤0␈␈JU ␈␈8q`⊃cP↓∩%↓U*`jU0G∞ α
U0¬ G∞